Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements
نویسندگان
چکیده
The paper presents the concept and the mechanism of comparative conformance cases which support conformance monitoring in situations where a standard or other set of requirements are being implemented at multiple sites. The mechanism is enabled by NOR-STA services which implement the TRUST-IT methodology and are deployed in the cloud in accordance with the SaaS model. In the paper we introduce the concept of comparative conformance cases, explain the software services used to implement them and present a case study of monitoring the implementation of the EC Regulation No. 994/2010, related to risk management of gas supply infrastructures across Europe.
منابع مشابه
Conformance Testing of Objects in Distributed Processing Systems
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing based on the object model. With object-based service specifications the need for conformance testing of object implementations arises to ensure that objects act as intended. The issue of conformance testing is of part...
متن کاملConformance Testing Relations for Timed Systems
This paper presents a formal framework to test both the functional and temporal behaviors in systems where temporal aspects are critical. Different implementation relations, depending on both the interpretation of time and on the (non-)determinism of specifications and/or implementations, are presented and related. We also study how tests cases are defined and applied to implementations. A test...
متن کاملFormal Verification of Real-Time Function Blocks Using PVS
A critical step towards certifying safety-critical systems is to check their conformance to hard realtime requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a compositional manner. We previously reported a formal approach to verifying function blocks (FBs) using tabular expressions and the PVS proof assistant....
متن کاملDefining Conformance
The conformance model for C++ implementations and programs is defined in subclauses 1.3 [intro.compliance] and 1.4 [intro.defs]. Together, these subclauses define categories of programs (well-formed, ill-formed, having undefined behavior) and the requirements placed on implementations when presented with these various kinds of program input. As it currently stands, however, the text of these su...
متن کاملA mechanized verification environment for real-time process algebras and low-level programming languages
Nowadays, embedded and reactive real-time systems are often also distributed and operate in dynamically changing environments. Furthermore, these systems handle safety-critical tasks and therefore have to satisfy critical functional and non-functional requirements like, for example, real-time requirements. During development, such systems are often modeled on different levels of abstraction usi...
متن کامل